Logical abacus